state@i\\x == y:Idif y = x then Top else vartype(i;y) fi  

latex

---

clarification:

es-state-without(es;i;x) == y:Idif y = x then Top else es-vartype(es; i; y) fi  

latex

Definitions	x:AB(x), Id, if b then t else f fi , a = b, Top, vartype(i;x)
FDL editor aliases	es-state-without